cmake_minimum_required (VERSION 2.6)
project (llmoch)

add_executable (model_checker
  src/main.cc
  src/Model.cc src/Model.hh
  src/basic_set_operations.hh src/basic_set_operations.cc
  src/CTLLexer.hh src/CTLLexer.cc
  src/CTLParser.hh src/CTLParser.cc
  src/eval.hh src/eval.cc)

target_link_libraries (model_checker bdd)

# doc rule

find_package (Doxygen)

if (DOXYGEN_FOUND)
  add_custom_target (doc ${DOXYGEN_EXECUTABLE} doc/Doxyfile)
endif (DOXYGEN_FOUND)

# test rule

add_custom_target (check test/test.sh)

# tar rule

add_custom_target (tar git archive master --prefix=levi_clobry_s/ --output=levi_clobry_s.tar.gz)